Humankind : a limited company? -- From volume to point: 1. Philosophy, 2. Religion -- Science : specialised but not special -- Cosmic hierarchies -- Consciousness -- Cognition -- In theory -- Back to Genesis -- The beautiful union.

In set theory without the Axiom of Choice we prove that the assertion “For every metric space (_X_, _d_) with a Borel measure \(\mu \) such that the measure of every open ball is positive and finite, (_X_, _d_) is separable.’ is implied by the axiom of choice for countable collections of sets and implies the axiom of choice for countable collections of finite sets. We also show that neither implication is reversible in Zermelo–Fraenkel set theory weakend to permit the (...) existence of atoms and that the second implication is not reversible in Zermelo–Fraenkel set theory. This gives an answer to a question of Dybowski and Górka (Arch Math Logic 62:735–749, 2023. https://doi.org/10.1007/s00153-023-00868-4 ). (shrink)

This paper argues that many ethical issues in neuroeducational research cannot be appropriately addressed using the principles and guidance available in one of these areas alone, or by applying these in simple combination. Instead, interdisciplinary and public dialogue will be required to develop appropriate normative principles. In developing this argument, it examines neuroscientific and educational perspectives within three broad categories of ethical issue arising at the interface of cognitive neuroscience and education: issues regarding the carrying out of interdisciplinary research, the (...) scrutiny and communication of findings and concepts, and the application of research and associated issues of policy likely to arise in the future. To help highlight the need for interdisciplinary and public discussion, we also report the opinions of a group of educators (comprising trainee teachers, teachers and head teachers) on the neuroeducational ethics of cognitive enhancing drugs, infant screening, genetic profiling and animal research. (shrink)

This article examines how discussions around the new interdisciplinary research area combining neuroscience and education have brought into sharp relief differences in the philosophies of learning in these two areas. It considers the difficulties faced by those working at the interface between these two areas and, in particular, it focuses on the challenge of avoiding 'non-sense' when attempting to include the brain in educational argument. The paper relates common transgressions in sense-making with dualist and monist notions of the mind-brain relationship. (...) It then extends a brain-mind-behaviour model from cognitive neuroscience to include a greater emphasis on social interaction and construction. This creates a tool for examining the potentially complex interrelationships between the different learning philosophies in this emerging new field. (shrink)

We provide a general criterion for Fraenkel–Mostowski models of $${\textsf{ZFA}}$$ (i.e. Zermelo–Fraenkel set theory weakened to permit the existence of atoms) which implies “every linearly ordered set can be well ordered” ( $${\textsf{LW}}$$ ), and look at six models for $${\textsf{ZFA}}$$ which satisfy this criterion (and thus $${\textsf{LW}}$$ is true in these models) and “every Dedekind finite set is finite” ( $${\textsf{DF}}={\textsf{F}}$$ ) is true, and also consider various forms of choice for well-ordered families of well orderable sets in these (...) models. In Model 1, the axiom of multiple choice for countably infinite families of countably infinite sets ( $${\textsf{MC}}_{\aleph _{0}}^{\aleph _{0}}$$ ) is false. It was the open question of whether or not such a model exists (from Howard and Tachtsis “On metrizability and compactness of certain products without the Axiom of Choice”) that provided the motivation for this paper. In Model 2, which is constructed by first choosing an uncountable regular cardinal in the ground model, a strong form of Dependent choice is true, while the axiom of choice for well-ordered families of finite sets ( $${\textsf{AC}}^{{\textsf{WO}}}_{{\textsf{fin}}}$$ ) is false. Also in this model the axiom of multiple choice for well-ordered families of well orderable sets fails. Model 3 is similar to Model 2 except for the status of $${\textsf{AC}}^{{\textsf{WO}}}_{{\textsf{fin}}}$$ which is unknown. Models 4 and 5 are variations of Model 3. In Model 4 $${\textsf{AC}}_{\textrm{fin}}^{{\textsf{WO}}}$$ is true. The construction of Model 5 begins by choosing a regular successor cardinal in the ground model. Model 6 is the only one in which $$2{\mathfrak {m}} = {\mathfrak {m}}$$ for every infinite cardinal number $${\mathfrak {m}}$$. We show that the union of a well-ordered family of well orderable sets is well orderable in Model 6 and that the axiom of multiple countable choice is false. (shrink)

We establish that, in ZF, the statementRLT: Given a setIand a non-empty setF\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{F}}$$\end{document}of non-empty elementary closed subsets of 2Isatisfying the fip, ifF\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{F}}$$\end{document}has a choice function, then⋂F≠∅\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\bigcap\mathcal{F} \ne \emptyset}$$\end{document},which was introduced in Morillon :739–749, 2012), is equivalent to the Boolean Prime Ideal Theorem. The result provides, on one hand, an affirmative answer to Morillon’s corresponding (...) question in Morillon and, on the other hand, a negative answer—in the setting of ZFA —to the question in Morillon of whether RLT is equivalent to Rado’s selection lemma. (shrink)

The deductive strengths of three variations of Rado's selection lemma are studied in set theory without the axiom of choice. Two are shown to be equivalent to Rado's lemma and the third to the Boolean prime ideal theorem. MSC: 03E25, 04A25, 06E05.

Let NBG be von Neumann-Bernays-Gödel set theory without the axiom of choice and let NBGA be the modification which allows atoms. In this paper we consider some of the well-known class or global forms of the wellordering theorem, the axiom of choice, and maximal principles which are known to be equivalent in NBG and show they are not equivalent in NBGA.

For many people the existence of God is by no means a sufficiently clear feature of reality. This problem, the fact of divine hiddenness, has been a source of existential concern and has sometimes been taken as a rationale for support of atheism or agnosticism. In this collection of essays, a distinguished group of philosophers of religion explore the question of divine hiddenness in considerable detail. The issue is approached from several perspectives including Jewish, Christian, atheist and agnostic. There is (...) coverage of the historical treatment of divine hiddenness as found in the work of Maimonides, St. John of the Cross, Jonathan Edwards, Kierkegaard, and various Biblical writers. A substantial introduction clarifies the main problems of and leading solutions to divine hiddenness. Primarily directed at philosophers of religion, theologians, and scholars of religious studies, this collection could also serve as a textbook for upper-level courses in philosophy of religion. (shrink)

In set theory without the Axiom of Choice, we investigate the set-theoretic strength of the principle NDS which states that there is no function f on the set ω of natural numbers such that for everyn ∈ ω, f ≺ f, where for sets x and y, x ≺ y means that there is a one-to-one map g : x → y, but no one-to-one map h : y → x. It is a long standing open problem whether NDS implies (...) AC. In this paper, among other results, we show that NDS is a strong axiom by establishing that ACLO ↛ NDS in ZFA set theory. The latter result provides a strongly negative answer to the question of whether “every Dedekind-finite set is finite” implies NDS addressed in G. H. Moore “Zermelo’s Axiom of Choice. Its Origins, Development, and Influence” and in P. Howard–J. E. Rubin “Consequences of the Axiom of Choice”. We also prove that ACWO ↛ NDS in ZF and that “for all infinite cardinals m, m + m = m” ↛ NDS in ZFA. (shrink)

We show that the assertion that every vector space is a projective module implies the axiom of multiple choice and that the reverse implication does not hold in set theory weakened to permit the existence of atoms.

The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.

Previous research has shown that short-term fasting in healthy individuals is associated with changes in risky decision-making. The current experiment was designed to examine the influence of short-term fasting in healthy individuals on four types of impulsivity: reflection impulsivity, risky decision-making, delay aversion, and action inhibition. Participants were tested twice, once when fasted for 20 hours, and once when satiated. Participants demonstrated impaired action inhibition when fasted; committing significantly more errors of commission during a food-related Affective Shifting Task. Participants also (...) displayed decreased reflection impulsivity when fasted, opening significantly more boxes during the Information Sampling Task (IST). There were no significant differences in performance between fasted and satiated sessions for risky decision-making or delay aversion. These findings may have implications for understanding eating disorders such as Bulimia Nervosa (BN). Although BN has been characterised as a disorder of poor impulse control, inconsistent findings when comparing individuals with BN and healthy individuals on behavioural measures of impulsivity question this characterisation. Since individuals with BN undergo periods of short-term fasting, the inconsistent findings could be due to differences in the levels of satiation of participants. The current results indicate that fasting can affect performance on the IST, a measure of impulsivity previously studied in BN, whilst performance on other impulsivity measures were unaffected. However, the results from the IST were contrary to the original hypothesis and should be replicated before specific conclusions can be made. (shrink)

Two Fraenkel-Mostowski models are constructed in which the Boolean Prime Ideal Theorem is true. In both models, AC for countable sets is true, but AC for sets of cardinality 2math image and the 2m = m principle are both false. The Principle of Dependent Choices is true in the first model, but false in the second.

We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom of choice for well-ordered families of sets and the axiom of choice for sets are both true, but the axiom of choice is false.

We study the relationship between the countable axiom of choice and the Tychonoff product theorem for countable families of topological spaces.